361. Proceedings 11th international workshop on rapid system prototyping, paris, france, june 21-23,2000
Author: Sponsored by IEE computer society technical committee on design automation
Library: Central library and Documentation Center (Zanjan)
Subject: ، System design - Congresses,، Computer software - Development - Congresses
Classification :
QA
76
.
9
.
C65
I5
2000
362. Product-Focused Software Process Improvement
Author: \ [edited by] Pekka Abrahamsson...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,نرمافزار -- تولید -- مدیریت -- کنگره ها
Classification :
QA
76
.
758
.
P7
2015
E-Book
,
363. Product-focused software process improvement :
Author: Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
758
.
P76
2018eb
364. Product focused software process improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005; proceedings
Author: Frank Bomarius, Seija Komi-Sirvio )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software -- Development,Quality control -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
3547
365. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
366. Programmiersprachen und Programmentwicklung :
Author: herausgegeben von Hans Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
Classification :
QA76
.
7
H473
1982
367. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
368. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
369. Progress in computing, analytics and networking :
Author: Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
5
370. Project e-society :
Author: edited by Reima Suomi [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic commerce, Congresses.,Information society, Congresses.
371. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb
372. Provable security :
Author: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
Classification :
QA76
.
9
.
A25
373. RSP 2004: 15th IEEE International Workshop on Rapid Systems Prototyping: proceedings: 28-30 June, 2004, Geneva, Switzerland
Author: ]sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society technical Committee on Design Automation[
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، System design,Congresses ، Computer simulation,Congresses ، Computer software - Development,Congresses ، Prototypes, Engineering
Classification :
QA
76
.
9
.
S88
I583
2004
374. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
375. Recent Experimental and Computational Advances in Molecular Spectroscopy
Author: edited by R. Fausto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Molecular spectroscopy -- Congresses.,Molecular spectroscopy.
376. Recent Research in Control Engineering and Decision Making /
Author: editors, Olga Dolinina, Alexander Brovko, Vitaly Pechenkin, Alexey Lvov, Vadim Zhmud and Vladik Kreinovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control, Congresses.,Decision making-- Data processing, Congresses.,Decision support systems, Congresses.,Automatic control.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Decision making-- Data processing.,Decision support systems.
Classification :
T58
.
62
377. Recent trends in algebraic development techniques
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
378. Recent trends in algebraic development techniques :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses. ;
379. Recent trends in algebraic development techniques
Author: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
Classification :
QA
,
76
.
754
,
W32
,
2004
380. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
